Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings: 240 (Lecture Notes in Computer Science, 240)
by Axel Poigne,David Rydeheard,David Pitt,Samson Abramsky
ISBN 13: 9783540171621
Format: Paperback (532 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
by Samson Abramsky,T. S. Maibaum,Dov M. Gabbay
ISBN 13: 9780198537809
Format: Illustrated (668 pages) Publisher: OUP Oxford Published: 04 May 1995
Dependence Logic: Theory and Applications
by Samson Abramsky,Juha Kontinen,Jouko Väänänen
ISBN 13: 9783319318011
Format: Hardcover (292 pages) Publisher: Birkhäuser Published: 13 Jul 2016
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings: 530 (Lecture Notes in Computer Science, 530)
by David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew Pitts,Axel Poigne,David E. Rydeheard
ISBN 13: 9783540544951
Format: Illustrated (312 pages) Publisher: Springer Published: 13 Jun 2008
by Samson Abramsky,Juha Kontinen,Jouko Väänänen,Heribert Vollmer
ISBN 13: 9783319811239
Format: Paperback (292 pages) Publisher: Birkhäuser Published: 24 Jun 2018
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
by Thomas S. E. Maibaum,Samson Abramsky,D. M. Gabbay
ISBN 13: 9780198537618
Format: Hardcover (584 pages) Publisher: OUP Oxford Published: 01 Mar 1993
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
by Samson Abramsky,Dov M. Gabbay,T. S. Maibaum
ISBN 13: 9780198537816
Format: Illustrated (556 pages) Publisher: OUP Oxford Published: 25 Jan 2001